Hereditarily effective typestreams
نویسندگان
چکیده
منابع مشابه
Hereditarily effective typestreams
We prove that the hierarchy of hereditarily effective typestreams, that are effective models of inductivly defined types, has the length of the first recursivly inaccessible ordinal.
متن کاملHereditarily Optimal Realizations
Acknowledgments Obviously, though by no means trivially, many thanks are due to my advisor Professor Vincent Moulton, for introducing me to this fascinating subject, providing inspiration and helping me get started. Many thanks also to my colleague and co-author Dr. Katharina Huber for her patience during the many hours we spent going over the proofs in this paper. I am also most grateful to my...
متن کاملThe Hereditarily Finite Sets
The theory of hereditarily finite sets is formalised, following the development of Świerczkowski [2]. An HF set is a finite collection of other HF sets; they enjoy an induction principle and satisfy all the axioms of ZF set theory apart from the axiom of infinity, which is negated. All constructions that are possible in ZF set theory (Cartesian products, disjoint sums, natural numbers, function...
متن کاملHereditarily Sequential Functionals
In order to deene models of simply typed functional programming languages being closer to the operational semantics of these languages, the notions of sequentiality, stability and seriality were introduced. These works originated from the deenability problem for PCF, posed in Sco72], and the full abstraction problem for PCF, raised in Plo77]. The presented computation model, forming the class o...
متن کاملInterpolating Hereditarily Indecomposable Banach Spaces
A Banach space X is said to be Hereditarily Indecomposable (H.I.) if for any pair of closed subspaces Y , Z of X with Y ∩ Z = {0}, Y + Z is not a closed subspace. (Throughout this section by the term “subspace” we mean a closed infinite-dimensional subspace of X .) The H.I. spaces form a new and, as we believe, fundamental class of Banach spaces. The celebrated example of a Banach space with no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 1997
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s001530050062